大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Asilomar Conference on Circuits 的图书(共5899本)

Theory and Applications of Satisfiability Testing-SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

0
索取号：
作者：Strichman、 Ofer.、Szeider、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

0
索取号：
作者：Governatori、 Guido.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Recent Trends in Wireless and Mobile Networks [electronic resource] : Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings

0
索取号：
作者：脰zcan、 Abdulkadir.、Chaki、 Nabendu.、Nagamalai、 Dhinaharan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Artifical Evolution [electronic resource] : 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers

0
索取号：
作者：Collet、 Pierre.、Monmarch茅、 Nicolas.、Legrand、 Pierrick.、Schoenauer、 Marc.、Lutton、 Evelyne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Turbulence and Interactions [electronic resource] : Proceedings the TI 2009 Conference

0
索取号：
作者：Deville、 Michel.、L锚、 Thien-Hiep.、Sagaut、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

0
索取号：
作者：Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

ECOOP 2010-Object-Oriented Programming [electronic resource] : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings

0
索取号：
作者：D鈥橦ondt、 Theo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computers Helping People with Special Needs [electronic resource] : 12th International Conference, ICCHP 2010, Vienna, Austria, July14-16, 2010, Proceedings, Part II

0
索取号：
作者：Miesenberger、 Klaus.、Klaus、 Joachim.、Zagler、 Wolfgang.、Karshmer、 Arthur.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computers Helping People with Special Needs [electronic resource] : 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings

0
索取号：
作者：Miesenberger、 Klaus.、Klaus、 Joachim.、Zagler、 Wolfgang.、Karshmer、 Arthur.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Security and Privacy [electronic resource] : 15th Australasian Conference, ACISP 2010, Sydney, Australia, July 5-7, 2010. Proceedings

0
索取号：
作者：Steinfeld、 Ron.、Hawkes、 Philip.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Haptics: Generating and Perceiving Tangible Sensations [electronic resource] : International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings

0
索取号：
作者：Kappers、 Astrid M. L.、Erp、 Jan B. F.、Bergmann Tiest、 Wouter M.、Helm、 Frans C. T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Haptics: Generating and Perceiving Tangible Sensations [electronic resource] : International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I

0
索取号：
作者：Kappers、 Astrid M. L.、Erp、 Jan B. F.、Bergmann Tiest、 Wouter M.、Helm、 Frans C. T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Articulated Motion and Deformable Objects [electronic resource] : 6th International Conference, AMDO 2010, Port d鈥橝ndratx, Mallorca, Spain, July 7-9, 2010. Proceedings

0
索取号：
作者：Perales、 Francisco J.、Fisher、 Robert B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28鈥揓uly 2, 2010. Proceedings, Part II

0
索取号：
作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28鈥揓uly 2, 2010. Proceedings, Part I

0
索取号：
作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

0
索取号：
作者：Kaufmann、 Matt.、Paulson、 Lawrence C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.